1. Proofs and Algorithms
Author: / Gilles Dowek
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Computer logic,Proof theory,Algorithms
Classification :
QA
9
.
D68
2011
2. Proofs and Algorithms : Introduction to Logic and Computability Theory
Author: Dowek, Gilles
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
Classification :
QA
76
.
9
.
L36D68
